// ********************* RobotCAN.c ************************
#include "inc/hw_types.h"
#include "driverlib/sysctl.h"
#include "motor_R.h"
#include "motor_L.h"
#include "wheel.h"

int main( void ) {
    // I believe this is 25MHz
  SysCtlClockSet(SYSCTL_SYSDIV_4 | SYSCTL_USE_PLL | SYSCTL_OSC_MAIN |
                 SYSCTL_XTAL_8MHZ);
  Wheel_Init();
  Motor_R_Init();
  Motor_L_Init();
  Motor_Forward();
  while(1);
}